tips for predicate logic